Subject: PageSpinner Status: Completely unsupported Access: Restricted Usage : Not recommended Changing colors in the editor Customizing the Web Tools Menu
HTML Tags:
581 Code tag 0 9 0 Monaco
Be careful not to delete or add any tab or returns!
Restart PageSpinner.
If PageSpinner crash at startup restore the backup file and try again.
You will have to do is for every new relase since the author seems to change the contents in the HTML Tags file.
Tag info | Description | Example |
---|---|---|
1 Start tag | The ╗ character indicates a line break |
|
2 End tag | May be empty | |
3 Internal number | Don't change this | 581 |
4 Comment | Not needed | Code tag |
5 Style code | Integer value for the style to be used for text inside a tag pair
0 PlainIt is possible to combine styles by adding the values, e g the value 5 (1+4) gives bold and underlined text in the editor. | 0 |
6 Font size | 0 means no change - other values are size in points, think these must be > 4 | 9 |
7 Color | One of the following color codes (0-16):
0 No change | 0 |
8 Fontname | Name of the font to be used for text inside a tag pair, if this is empty no change will be made | Monaco |
[The creator code for the app] SPACE [The name in the menu]
Change or add a line if you want to add another application.
Restart PageSpinner.
If PageSpinner crash at startup restore the backup file and try again.
It must be a space (and not a tab) after the creator code.
To put in a line in the menu add a line with five spaces and a - character
" -"